# -*- mode: snippet -*-
# name: implies
# key: =>
# contributor: Shuguang Sun
# condition: (and (texmathp) 'auto)
# --
\implies